Naumovich, Gleb: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Improving Data Integrity with a Java Mutability Analysis

Shi, Aiwu, Naumovich, Gleb

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

2

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Field Escape Analysis for Data Confidentiality in Java Components

Shi, Aiwu, Naumovich, Gleb

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

3

[ACM Press the 2004 OOPSLA workshop - Vancouver, British Columbia, Canada (2004.10.24-2004.10.24)] Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange - eclipse '04 - JTutor

Kojouharov, Chris, Solodovnik, Aleksey, Naumovich, Gleb

Year:

2004

Language:

english

File:

PDF, 329 KB

english, 2004

4

Flow analysis for verifying properties of concurrent software systems

Dwyer, Matthew B., Clarke, Lori A., Cobleigh, Jamieson M., Naumovich, Gleb

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2004

Language:

english

File:

PDF, 1.08 MB

english, 2004

5

Efficient composite data flow analysis applied to concurrent programs

Naumovich, Gleb, Clarke, Lori A., Osterweil, Leon J.

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 1023 KB

english, 1998

6

Static analysis of role-based access control in J2EE applications

Naumovich, Gleb, Centonze, Paolina

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 108 KB

english, 2004

7

A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

Naumovich, Gleb, Avrunin, George S.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.03 MB

english, 1998

8

Using partial order techniques to improve performance of data flow analysis based verification

Naumovich, Gleb, Clarke, Lori A., Cobleigh, Jamieson M.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 869 KB

english, 1999

9

An efficient algorithm for computing MHP information for concurrent Java programs

Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.26 MB

english, 1999

10

A conservative algorithm for computing the flow of permissions in Java programs

Naumovich, Gleb

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2002

Language:

english

File:

PDF, 527 KB

english, 2002

11

[ACM Press the 4th ACM SIGSOFT symposium - San Francisco, California, United States (1996.10.16-1996.10.18)] Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '96 - Verification of communication protocols using data flow analysis

Naumovich, Gleb N., Clarke, Lori A., Osterweil, Leon J.

Year:

1996

Language:

english

File:

PDF, 1.33 MB

english, 1996

12

[ACM Press the 1998 ACM SIGPLAN-SIGSOFT workshop - Montreal, Quebec, Canada (1998.06.16-1998.06.16)] Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '98 - Efficient composite data flow analysis applied to concurrent programs

Naumovich, Gleb, Clarke, Lori A., Osterweil, Leon J.

Year:

1998

Language:

english

File:

PDF, 1023 KB

english, 1998

13

[ACM Press the 8th ACM SIGSOFT international symposium - San Diego, California, United States (2000.11.06-2000.11.10)] Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering twenty-first century applications - SIGSOFT '00/FSE-8 - Classifying properties

Naumovich, Gleb, Clarke, Lori A.

Year:

2000

Language:

english

File:

PDF, 1023 KB

english, 2000

14

[ACM Press the 2002 ACM SIGPLAN-SIGSOFT workshop - Charleston, South Carolina, USA (2002.11.18-2002.11.19)] Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '02 - Using the observer design pattern for implementation of data flow analyses

Naumovich, Gleb

Year:

2002

Language:

english

File:

PDF, 93 KB

english, 2002

15

[ACM Press the 2003 ACM workshop - Washington, DC, USA (2003.10.27-2003.10.27)] Proceedings of the 2003 ACM workshop on Digital rights management - DRM '03 - Obfuscation of design intent in object-oriented applications

Sosonkin, Mikhail, Naumovich, Gleb, Memon, Nasir

Year:

2003

Language:

english

File:

PDF, 360 KB

english, 2003

16

[ACM Press the 1999 ACM SIGPLAN-SIGSOFT workshop - Toulouse, France (1999.09.06-1999.09.06)] Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '99 - Using partial order techniques to improve performance of data flow analysis based verification

Naumovich, Gleb, Clarke, Lori A., Cobleigh, Jamieson M.

Year:

1999

Language:

english

File:

PDF, 869 KB

english, 1999

17

[ACM Press the 21st international conference - Los Angeles, California, United States (1999.05.16-1999.05.22)] Proceedings of the 21st international conference on Software engineering - ICSE '99 - Data flow analysis for checking properties of concurrent Java programs

Naumovich, Gleb, Avrunin, George S., Clarke, Lori A.

Year:

1999

Language:

english

File:

PDF, 1.37 MB

english, 1999

18

[ACM Press the 6th ACM SIGSOFT international symposium - Lake Buena Vista, Florida, United States (1998.11.01-1998.11.05)] Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6 - A conservative data flow algorithm for detecting all pairs of statements that may happen in parallel

Naumovich, Gleb, Avrunin, George S.

Year:

1998

Language:

english

File:

PDF, 1.03 MB

english, 1998

19

[ACM Press the international symposium - Roma, Italy (2002.07.22-2002.07.24)] Proceedings of the international symposium on Software testing and analysis - ISSTA '02 - A conservative algorithm for computing the flow of permissions in Java programs

Naumovich, Gleb

Year:

2002

Language:

english

File:

PDF, 527 KB

english, 2002

20

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - Role-Based access control consistency validation

Centonze, Paolina, Naumovich, Gleb, Fink, Stephen J., Pistoia, Marco

Year:

2006

Language:

english

File:

PDF, 248 KB

english, 2006

21

[ACM Press the 19th international conference - Boston, Massachusetts, United States (1997.05.17-1997.05.23)] Proceedings of the 19th international conference on Software engineering - ICSE '97 - Verification of concurrent software with FLAVERS

Naumovich, Gleb, Clarke, Lori A., Osterweil, Leon J., Dwyer, Matthew B.

Year:

1997

Language:

english

File:

PDF, 340 KB

english, 1997

22

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Field Escape Analysis for Data Confidentiality in Java Components

Shi, Aiwu, Naumovich, Gleb

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

23

[IEEE 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Nagoya, Aichi, Japan (2007.12.4-2007.12.7)] 14th Asia-Pacific Software Engineering Conference (APSEC'07) - Improving Data Integrity with a Java Mutability Analysis

Shi, Aiwu, Naumovich, Gleb

Year:

2007

Language:

english

File:

PDF, 409 KB

english, 2007

24

Applying static analysis to software architectures

Naumovich, Gleb, Avrunin, George S., Clarke, Lori A., Osterweil, Leon J.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1997

Language:

english

File:

PDF, 1.32 MB

english, 1997

25

Verification of communication protocols using data flow analysis

Naumovich, Gleb N., Clarke, Lori A., Osterweil, Leon J.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1996

Language:

english

File:

PDF, 1.33 MB

english, 1996

26

Using the observer design pattern for implementation of data flow analyses

Naumovich, Gleb

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 93 KB

english, 2003